-
1 reductio ad absurdum proof
Математика: (by) доказательство от противного, доказательство от обратногоУниверсальный англо-русский словарь > reductio ad absurdum proof
-
2 reductio ad absurdum proof
English-Russian scientific dictionary > reductio ad absurdum proof
-
3 proof by contradiction, (by) reductio ad absurdum proof
Математика: доказательство от обратногоУниверсальный англо-русский словарь > proof by contradiction, (by) reductio ad absurdum proof
-
4 proof by contradiction, reductio ad absurdum proof
Математика: (by) доказательство от обратногоУниверсальный англо-русский словарь > proof by contradiction, reductio ad absurdum proof
-
5 (by) reductio ad absurdum proof
Математика: доказательство от противногоУниверсальный англо-русский словарь > (by) reductio ad absurdum proof
-
6 доказательство методом reductio ad absurdum
Универсальный русско-английский словарь > доказательство методом reductio ad absurdum
-
7 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
8 proof
1) доказательство
2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof
-
9 circumstantial proof
-
10 indirect proof
1) Техника: доказательство от противного2) Математика: косвенное доказательство3) Юридический термин: доказательство методом reductio ad absurdum, доказывание с помощью косвенных доказательств, установление факта косвенными доказательствами4) Нефть: косвенное подтверждение, косвенное свидетельство -
11 доказательство от противного
reductio ad absurdum, proof by contradictionРусско-английский физический словарь > доказательство от противного
-
12 доказательство от обратного
Mathematics: proof by contradiction, proof by contradiction, (by) reductio ad absurdum proof, reductio ad absurdum proofУниверсальный русско-английский словарь > доказательство от обратного
-
13 доказательство от противного
1) Engineering: indirect proof2) Mathematics: ( by) reductio ad absurdum proof, (proof) by contradiction, proof by contradiction, proof by reduction to absurdity3) Law: negative proof, proof from the contrary4) Makarov: negative demonstration, r.a.a. proofУниверсальный русско-английский словарь > доказательство от противного
-
14 доказательство от противного
1) proof by contradiction
2) reductio ad absurdum proofРусско-английский технический словарь > доказательство от противного
-
15 доведення
-
16 доказательство от противного
ex adverso лат., ex contrario, reductio ad absurdum proofРусско-английский научно-технический словарь Масловского > доказательство от противного
-
17 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
18 доказательство
[lang name="Russian"]основательные, серьёзные доказательства — foundational proof
-
19 доказательство
основательные, серьёзные доказательства — foundational proof
Русско-английский военно-политический словарь > доказательство
-
20 démonstration
démonstration [demɔ̃stʀasjɔ̃]feminine nouna. demonstration ; [de théorème] proofb. ( = manifestation) [de joie, tendresse] show* * *demɔ̃stʀasjɔ̃1) ( manifestation) display2) ( leçon pratique) demonstration3) ( de théorie) demonstration; ( de théorème) proof* * *demɔ̃stʀasjɔ̃ nfdemonstration, (aérienne, navale) display* * *1 ( signe extérieur) show ¢; faire des démonstrations d'amitié à qn to make a show of friendship towards sb;2 ( leçon pratique) demonstration; démonstration culinaire/de judo cookery GB ou cooking US/judo demonstration; faire une démonstration à qn to give sb a demonstration; faire la démonstration d'un appareil to demonstrate an appliance; de démonstration [appareil, matériel] demonstration;3 (illustration, preuve) (de loi, théorie, vérité) demonstration; ( de théorème) proof; la démonstration en a été faite this has been proved GB ou proven; l'organisme a fait la démonstration de son utilité the organization has demonstrated its usefulness; démonstration par l'absurde reductio ad absurdum;4 ( manifestation) display; démonstration de force/courage display of strength /courage; démonstration aérienne Sport air display.[demɔ̃strasjɔ̃] nom féminin[ensemble de formules] demonstration————————démonstrations nom féminin pluriel[crises] outburstsdémonstrations de tendresse/joie/colère show of tenderness/joy/anger
- 1
- 2
См. также в других словарях:
Reductio ad absurdum — (Latin for reduction to the absurd ), also known as an apagogical argument, reductio ad impossibile, or proof by contradiction, is a type of logical argument where one assumes a claim for the sake of argument and derives an absurd or ridiculous… … Wikipedia
reductio ad absurdum — [ri duk′tē ō΄ ad ab sʉr′dəm, ri duk′shē ō΄] n. [L, reduction to absurdity] Logic the proof of a proposition by showing its opposite to be an obvious falsity or self contradiction, or the disproof of a proposition by showing its consequences to be … English World dictionary
reductio ad absurdum — /ri duk tee oh ad ab serr deuhm, zerr , shee oh /, Logic. a reduction to an absurdity; the refutation of a proposition by demonstrating the inevitably absurd conclusion to which it would logically lead. [1735 45; < L reductio ad absurdum] * * * ▪ … Universalium
reductio ad absurdum — Demonstration Dem on*stra tion, n. [L. demonstratio: cf. F. d[ e]monstration.] 1. The act of demonstrating; an exhibition; proof; especially, proof beyond the possibility of doubt; indubitable evidence, to the senses or reason. [1913 Webster]… … The Collaborative International Dictionary of English
reductio ad absurdum — (reh DUK tee oh ahd ahb SOOR dum) [Latin] Reduction to the absurd: proof of the falsity of a statement by showing its logical consequence to be absurd; carrying a principle to unreasonable lengths. The weepy, shrieking girls who surround… … Dictionary of foreign words and phrases
reductio ad absurdum — noun The method of proving a statement by assuming the statement is false and, with that assumption, arriving at a blatant contradiction. Syn: proof by contradiction … Wiktionary
Reductio ad Hitlerum — Reductio ad Hitlerum, also argumentum ad Hitlerum, (Latin for reduction to and argument to and dog Latin for Hitler respectively) is an ad hominem or ad misericordiam argument whereby an opponent s view is compared to a view that would be held by … Wikipedia
Proof that π is irrational — Although the mathematical constant known as pi; (pi) has been studied since ancient times, and so has the concept of irrational number, it was not until the 18th century that π was proved to be irrational.In the 20th century, proofs were found… … Wikipedia
reductio — noun (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction • Syn: ↑reductio ad absurdum • Hypernyms: ↑disproof,… … Useful english dictionary
proof by contradiction — noun Proof of a statement adduced by deriving a contradiction from the statements negation. Syn: reductio ad absurdum … Wiktionary
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
